#define _CRT_SECURE_NO_WARNINGS 
//#include<stdio.h>
//int main()
//{
//	int n = 0;
//	int h = 0;
//	scanf("%d %d", &n, &h);
//	int m = 0;
//	int i = 0;
//	int arr[1000];
//	for (i = 0; i < m; i++)
//	{
//		scanf("%d", &m);
//	}
//	int H = 0;
//	int sum = 0;
//	for (i = 0; i < m; i++)
//	{
//		for (int j = 1; j < h; j++)
//		{
//			arr[i] = arr[i] - j;
//			sum += arr[i];
//			H = j;
//			if (sum >= h)
//			{
//				printf("%d", H);
//			}
//		}
//	
//	}
//	
//	return 0;
//}
//#include<stdio.h>
//int main()
//{
//	int n = 0;
//	int h = 0;
//	scanf("%d %d", &n, &h);
//	int i = 0;
//	int arr[1000000];
//	for (i = 0; i < n; i++)
//	{
//		scanf("%d", arr[i]);
//	}
//	int left = 0;
//	int right = arr[0];
//	for (i = 0; i < n; i++)
//	{
//		if (arr[i] > right)
//		{
//			right = arr[i];
//		}
//	}
//	int H = 0;
//	while (left <= right)
//	{
//		int mid = left + (right - left) / 2;
//		int sum = 0;
//		for (i = 0; i < n; i++)
//		{
//			if (arr[i] > mid)
//			{
//				sum += arr[i] - mid;
//
//			}
//		}
//		if (sum >= h)
//		{
//			H = mid;
//			left = mid + 1;
//		}
//		else
//		{
//			right = mid - 1;
//		}
//		printf("%d", &H);
//	}
//	return 0;
//}
//#include<stdio.h>
//int main()
//{
//	int n = 0;
//	int k = 0;
//	scanf("%d %d", &n, &k);
//	int arr[10000][4];
//	int i = 0;
//	int j = 0;
//	for (i = 0; i < n; i++)
//	{
//		for (j = 0; j < 4; j++)
//		{
//			scanf("%d", &arr[i][j]);
//		}
//	}
//	int temp1= 0;
//	int temp2 = 0;
//	for (i = 0; i < n; i++)
//	{
//		if (arr[i][1] == k)
//		{
//			temp1 = i / 2;
//			temp2 = i % 2;
//			if (temp2 != 0)
//			{
//				printf("%d", temp1 + 1);
//			}
//			if (temp2 == 0)
//			{
//				printf("%d", temp1);
//			}
//			
//		/*	printf("%d", temp2 == 0 ? temp1 : temp1 + 1);*/
//		}
//	}
//	return 0;
//}
//#include<stdio.h>
//int main()
//{
//	int n = 0;
//	scanf("%d", &n);
//	int arr[1000];
//	int i = 0;
//	for (i = 0; i < n; i++)
//	{
//		scanf("%d", &arr[i]);
//	}
//	int count = 0;
//	int j = 0;
//	int sum = 0;
//	for (i = 0; i < n; i++)
//	{
//		for (j = 0;j < n - i - 1;j++)
//		{
//			if (arr[j] > arr[j + 1])
//			{
//				int temp = arr[j];
//				arr[j + 1] = arr[j];
//				arr[j] = temp;
//			}
//		}
//	}
//	//again:
//	for (j = n - 1; j >= 0; j--)
//	{
//		for (i = 0; i < n - i -1; i++)
//		{
//			sum += arr[i];
//			count++;
//			/*if (sum > arr[j])
//			{
//				goto again;
//			}*/
//			if (arr[j] == sum)
//			{
//				printf("%d\n", count);
//			}
//		}
//	}
//	return 0;
//}
//#include<stdio.h>
//int main()
//{
	/*int s = 0;
	int v = 0;
	scanf("%d %d", &s, &v);*/
//	int t = s / v;
//	int t2 = s % v;
//	if (t2 != 0)
//	{
//		t = t + 1;
//	}
//
//	int sum = t + 10;
//	int result = 480 - sum;
//	int hour = result / 60;
//	while (hour < 0)
//	{
//		hour += 24;
//	}
//	int minute = result % 60;
//	printf("%02d:%02d", hour, minute);
//	return 0;
//}
#include<stdio.h>
#include<math.h>
int main()
{
	int s = 0;
	int v = 0;
	scanf("%d %d", &s, &v);
	int t = ceil(1.0 * s / v) + 10;
	int h = t / 60;
	int m = t % 60;
	int H = 7 - h;
	int M = 60 - m;
	while (H < 0)
	{
		H += 24;
	}
	printf("%02d:%02d", H, M);
	return 0;
}